The Principal Type-Scheme of an Object in Combinatory Logic - mrsekut-p

The Principal Type-Scheme of an Object in Combinatory Logic

Hindley-Milner 型システムの初出の論文

J. Roger Hindley著

1969

USのwikiがかなりくわしいのでこれを見ながらやるといいかもな